Search Results

Search found 11672 results on 467 pages for 'formal methods'.

Page 221/467 | < Previous Page | 217 218 219 220 221 222 223 224 225 226 227 228  | Next Page >

  • Push Notifications in Android Platform

    - by Vinod
    I am looking to write an app which received pushed alerts from a server. I found a couple of methods to do this. 1) SMS - Intercept the incoming SMS and initiate a pull from the server 2) Poll the server periodically Each has its own limitations. SMS- no guarantee on arrival time. Poll may drain the battery. Do you have a better suggestion please?. Thanks much.

    Read the article

  • Write number N in base M

    - by VaioIsBorn
    I know how to do it mathematically, but i want it now to do it in c++ using some easy algorithm. Is is possible? The question is that i need some methods/ideas for writing a number N in base M, for example 1410 in base 3: (14)10 = 2*(3^0) + 1*(3^1) + 1*(3^2) = (112)3 etc.

    Read the article

  • Business object and linq2SQL

    - by Overdose
    What is the optimal way to write the code which interacts with DB using linq2SQL? I need to add some business logic to the entities. So I guess there are two ways: Write some wrapper class. The main minus is that many fields are the same, so i don't feel it as DRY style. Add business logic methods to linq2sql entities(these classes are partial) directly ???

    Read the article

  • if i call an interface method will it get the method body from implementation class and execute ?

    - by sij
    please forgive me if i am wrong: I have an interface Interface1 I have its implementation Imple implements Interface (all methods hav been implemented :) ) now consider a third class CheckCall can I do a call in the class CheckCall like I mention below Interface1 interface1; interface1.method(); all necessary imports have been done. Please tell me is it possible or not , if not then ok and if yes then tell me what will happen if i have more than one impl classes for the same interface and i am doing the same call.

    Read the article

  • memory leaks in Instruments

    - by jj
    I'm getting lots of leaks in my code, but none of the leaks point to any of my code (they are all UIKit methods). I'm running 3.0. Could someone tell me how I go about figuring out where these leaks are coming from?

    Read the article

  • Static member class - declare class private and class member package-private?

    - by Helper Method
    Consider you have the following class public class OuterClass { ... private static class InnerClass { int foo; int bar; } } I think I've read somewhere (but not the official Java Tutorial) that if I would declare the static member classes attributes private, the compiler had to generate some sort of accessor methods so that the outer class can actually access the static member class's (which is effectively a package-private top level class) attributes. Any ideas on that?

    Read the article

  • Zend_Db_Select where() and Zend_Db_Adapter quoteInto()

    - by Chris
    Are Zend_Db_Select's where() method, when including the optional value to quite into, and Zend_Db_Adapte's quoteInto() methods basically the same as far as escaping SQL? In other words, are these two pieces of quote identical and equally secure? $select->where($this->getAdapter()->quoteInto('id = ?', 3)); $select->where(id = ?, 3); Thanks!

    Read the article

  • Symfony: trying to retrieve a variable saved using sfContext::getInstance()

    - by user248959
    Hi, i have these methods in module1/actions/actions.class.php: public function executeMethod1(sfWebRequest $request){ $a = 10; sfContext::getInstance()->set('a', $a); return $this->redirect('module1/method2'); } public function executeMethod2(sfWebRequest $request){ echo sfContext::getInstance()->get('a'); } When i execute module1/method1 i get this error: "The "a" object does not exist in the current context." Any idea? Javi

    Read the article

  • Catch requests to non-existent classes (not autoload)

    - by Spot
    Is there a manner in which to catch requests to a class which does not exist. I'm looking for something exactly like __call() and __static(), but for classes as opposed to methods in a class. I am not talking about autoloading. I need to be able to interrupt the request and reroute it. Ideas?

    Read the article

  • Eclipse Style Navigation In VS.Net 2008 IDE

    - by Lennie
    Hi, I'm a Java developer starting with .Net development using VS.Net 2008. I would love to get the Eclipse style of navigating methods etc by pressing the Ctrl key, hover over a method then click it to got to that method's declaration. Does such a plugin exist for VS.Net 2008? thanks

    Read the article

  • Java lang object

    - by Neeraj
    why java Object class has two methods hashcode() and equals()? One of them looks redundant and its percolated to the bottom most derived class?

    Read the article

  • Java: If I overwrite the .equals method, can I still test for reference equality with ==?

    - by shots fired
    I have the following situation: I need to sort trees based by height, so I made the Tree's comparable using the height attribute. However, I was also told to overwrite the equals and hashCode methods to avoid unpredictable behaviour. Still, sometimes I may want to compare the references of the roots or something along those lines using ==. Is that still possible or does the == comparison call the equals method?

    Read the article

  • C# Attribute.isDefined() example?

    - by UpTheCreek
    Can someone please give me an example of using Attribute.isDefined() to check if a particular custom attribute has been applied to a given class? I've checked msdn, but only see possiblities for attributes applied to assemblies, members etc. I'm also open to alternative methods for achieving the same thing!

    Read the article

  • How to set up a progress bar

    - by user310850
    I have a php page named import.php. while executing this file a lot of database operation is doing.So i need to show the progress to the user, by using a progres bar.How is it possible using any of these php ajax, javascript, jquery,css, flash... methods

    Read the article

  • Writing an ostream filter?

    - by shoosh
    I'd like to write a simple ostream which wraps an argument ostream and changes the stream in some way before passing it on to the argument stream. The transformation is something simple like changing a letter or erasing a word What would a simple class inheriting from ostream look like? What methods should I override?

    Read the article

  • Downside to including headers in every source file (Objective-C)

    - by Michael Waterfall
    I'm currently including my AppDelegate.h and all of my category headers into every one of my source files using the MyApp_Prefix.pch prefix header, instead of manually #importing them only where they are used. The category methods and lots of compiler #define's in my app delegate are used in lots of places in my code. Is there any down side to this? Is it just that compilation will take longer?

    Read the article

  • Objective-measures of the expressiveness of programming languages [closed]

    - by Casebash
    I am very interested in the expressiveness of different languages. Everyone who has programmed in multiple languages knows that sometimes a language allows you to express concepts which you can't express in other languages. You can have all kinds of subjective discussion about this, but naturally it would be better to have an objective measure. There do actually exist objective measures. One is Turing-Completeness, which means that a language is capable of generating any output that could be generated by following a sequential set of steps. There are also other lesser levels of expressiveness such as Finite State Automata. Now, except for domain specific languages, pretty much all modern languages are Turing complete. It is therefore natural to ask the following question: Can we can define any other formal measures of expressiveness which are greater than Turing completeness? Now of course we can't define this by considering the output that a program can generate, as Turing machines can already produce the same output that any other program can. But there are definitely different levels in what concepts can be expressed - surely no-one would argue that assembly language is as powerful as a modern object oriented language like Python. You could use your assembly to write a Python interpreter, so clearly any accurate objective measure would have to exclude this possibility. This also causes a problem with trying to define the expressiveness using the minimum number of symbols. How exactly to do so is not clear and indeed appears extremely difficult, but we can't assume that just because we don't know how to solve a problem, that nobody know how to. It is also doesn't really make sense to demand a definition of expressiveness before answering the question - after all the whole point of this question is to obtain such a definition. I think that my explanation will be clear enough for anyone with a strong theoretical background in computer science to understand what I am looking for. If you do have such a background and you disagree, please comment why, but if you don't thats probably why you don't understand the question.

    Read the article

  • Setting class properties quickly

    - by uzay95
    class UserClass{ #region Class properties which are binding from DB . . . #endregion #region Constructor Methods public UserClass(int _iUser_id) { // of course this is wrong but how can i quickly set properties // which are coming from DB by extension method over context class? this = DAO.context.GetById<UserClass>(_iUser_id); } #endregion }

    Read the article

  • Multiple key presses doing different events in C#

    - by Nevik Eeirnb
    Hi, private void Form1_KeyDown(object sender, KeyEventArgs e) { if (e.KeyCode == Keys.W) player1.moveUp(); if (e.KeyCode == Keys.NumPad8) player2.moveUp(); } In the above code the moveUp methods basically just increment a value. I want it so both keys can be pressed (or held down)at the same time and both events will trigger. Thanks, Nevik

    Read the article

  • Permutation of Strings in C++

    - by cam
    I'm looking for just a simple method for permutating strings/integers in C++. I can easily do it in C#, but I'm just learning C++ and can't seem to find the right methods. Can someone show me a simple example that will find all permutations of an integer? And then the exact same for a string?

    Read the article

  • Better way to write this method with this pattern?

    - by Slorthe
    I have written a lot of methods and I want to time how long it takes for them to run. public void myMethod(){ startTiming(); doLotsOfStuff(); stopTiming(); } I am not only timing, I am also doing some other stuff before AND after the doLotsOfStuff() method. I was wondering if there is a better/smarter way to do this in C# to achieve lesser amount of lines/coding needed for this particular pattern.

    Read the article

< Previous Page | 217 218 219 220 221 222 223 224 225 226 227 228  | Next Page >