4755 search results - page 924 / 951 » An Implementation Model for Collaborative Applications |
139
click to vote
TCS
2002
15 years 2 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
152
click to vote
TMC
2008
15 years 25 days ago
2008
Continued advances in mobile networks and positioning technologies have created a strong market push for location-based applications. Examples include location-aware emergency resp...
145
click to vote
KBSE
2010
IEEE
15 years 25 days ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
127
click to vote
NOMS
2010
IEEE
15 years 25 days ago
2010
IEEE
—Popular web services and applications such as Google Apps, DropBox, and Go.Pc introduce a wasteful imbalance of processing resources. Each host operated by a provider serves hun...
126
click to vote
PVLDB
2010
15 years 24 days ago
2010
Current pattern-detection proposals for streaming data recognize the need to move beyond a simple regular-expression model over strictly ordered input. We continue in this directi...