14298 search results - page 398 / 2860 » Dynamic Languages and Applications |
158
click to vote
SIGADA
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
178
click to vote
SIGCOMM
2004
ACM
16 years 8 days ago
2004
ACM
This paper presents the design of Mercury, a scalable protocol for supporting multi-attribute rangebased searches. Mercury differs from previous range-based query systems in that...
181
click to vote
ASSETS
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we describe the latest version of SIBYLLE, an AAC system that permits persons suffering from severe physical disabilities to enter text with any computer applicatio...
202
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...
182
click to vote
ICWS
2010
IEEE
15 years 8 months ago
2010
IEEE
Service-oriented computing promises to create flexible business processes and applications on demand by dynamically assembling loosely coupled services within and across organizati...