12453 search results - page 320 / 2491 » Concurrent Data Structures |
270
click to vote
ICDE
1999
IEEE
16 years 8 months ago
1999
IEEE
Current database trigger systems have extremely limited scalability. This paper proposes a way to develop a truly scalable trigger system. Scalability to large numbers of trigger...
179
click to vote
ESOP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
151
click to vote
FOSSACS
2007
Springer
16 years 28 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
178
click to vote
ICLP
2004
Springer
16 years 4 days ago
2004
Springer
A protein is identified by a finite sequence of aminoacids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting t...
156
click to vote
LCTRTS
2004
Springer
16 years 3 days ago
2004
Springer
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...