931 search results - page 174 / 187 » Engineering interactive ubiquitous computing systems |
ENTCS
2007
13 years 9 months ago
2007
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...
CSE
2009
IEEE
14 years 4 months ago
2009
IEEE
—The recently developed small wireless devices ranging from sensor boards to mobile phones provide a timely opportunity to gather unique data sets on complex human interactions, ...
ASM
2010
ASM
14 years 1 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
SIGCOMM
2006
ACM
14 years 3 months ago
2006
ACM
An understanding of the topological structure of the Internet is needed for quite a number of networking tasks, e.g., making decisions about peering relationships, choice of upstr...
OOIS
1994
Springer
14 years 1 months ago
1994
Springer
The business of software development is solving problems. Following Polya, we can increase our ability to solve problems by focusing directly on problems themselves, on their part...