1801 search results - page 306 / 361 » Software Patterns in ITS Architectures |
LICS
2006
IEEE
15 years 5 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
135
click to vote
ACSAC
2010
IEEE
14 years 10 months ago
2010
IEEE
The JavaScript language is a core component of active and dynamic web content in the Internet today. Besides its great success in enhancing web applications, however, JavaScript p...
185
click to vote
ASPLOS
2009
ACM
16 years 14 days ago
2009
ACM
Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input,...
EUROSYS
2007
ACM
15 years 9 months ago
2007
ACM
In this paper, we present COSMOS, a novel architecture for macroprogramming heterogeneous sensor network systems. Macroprogramming entails aggregate system behavior specification...
ISPASS
2005
IEEE
15 years 5 months ago
2005
IEEE
Recent advances in bioinformatics and the significant increase in computational power available to researchers have made it possible to make better use of the vast amounts of gene...