4520 search results - page 389 / 904 » Algebraic Techniques for Timed Systems |
179
click to vote
WWW
2001
ACM
16 years 8 months ago
2001
ACM
Display characteristics, network Quality of Service, and the user's current task all exhibit a wide range of variation when users interact with mobile and ubiquitous devices....
220
click to vote
CIRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This research identifies a strategy called compliant formation control, which may be used to coordinate the navigational structure of a team of autonomous vehicles. This techni...
203
click to vote
EMSOFT
2004
Springer
16 years 29 days ago
2004
Springer
Security concerns on embedded devices like cellular phones make Java an extremely attractive technology for providing third-party and user-downloadable functionality. However, gar...
185
click to vote
ICDCS
2003
IEEE
16 years 26 days ago
2003
IEEE
Current software development techniques and tools lack the capability to characterize function call chains in multithreaded and distributed applications built upon component techn...
251
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Metacomputing infrastructures couple multiple clusters (or MPPs) via wide-area networks. A major problem in programming parallel applications for such platforms is their hierarchi...