503 search results - page 88 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
VRML
2003
ACM
15 years 3 months ago
2003
ACM
Success of 3D applications on the Web inherently depends on object behavior and interaction. Current Web3D formats often fall short in supporting behavior modeling. This paper int...
FTDCS
2003
IEEE
15 years 3 months ago
2003
IEEE
Increasingly, Internet-level distributed systems are oriented as much toward information access as they are toward computation. From computer-supported collaborative work to peer-...
104
click to vote
SAC
2010
ACM
15 years 3 months ago
2010
ACM
This paper aims at pushing the clear relationship between software service composition and chemical dynamics a step forward. We developed a coordination model where services and c...
LCTRTS
2005
Springer
15 years 3 months ago
2005
Springer
Effective use of the memory hierarchy is critical for achieving high performance on embedded systems. We focus on the class of streaming applications, which is increasingly preval...
HPCA
2008
IEEE
15 years 10 months ago
2008
IEEE
As multicore systems become the dominant mainstream computing technology, one of the most difficult challenges the industry faces is the software. Applications with large amounts ...