Sciweavers

2501 search results - page 336 / 501
» Logics with Rank Operators
Sort
View
CAV
2008
Springer
158views Hardware» more  CAV 2008»
15 years 7 months ago
Linear Arithmetic with Stars
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
Ruzica Piskac, Viktor Kuncak
152
Voted
ESWS
2008
Springer
15 years 6 months ago
Streaming SPARQL - Extending SPARQL to Process Data Streams
A lot of work has been done in the area of data stream processing. Most of the previous approaches regard only relational or XML based streams but do not cover semantically richer ...
Andre Bolles, Marco Grawunder, Jonas Jacobi
CLIMA
2007
15 years 6 months ago
Language Constructs for Multi-agent Programming
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
Louise A. Dennis, Michael Fisher, Anthony Hepple
MKWI
2008
113views Business» more  MKWI 2008»
15 years 6 months ago
A Rule-based Middleware for Business Process Execution
Abstract. While past research in service oriented computing has focused on the fairly static functional description and the operators of services the dynamic and flexible compositi...
Adrian Paschke, Alexander Kozlenkov
145
Voted
CIC
2006
198views Communications» more  CIC 2006»
15 years 6 months ago
Communication Model to Support Rapid Application Development
Communication systems, along with database systems, have attracted a lot of attention in software engineering research. Encouraged by the success of SQL systems, some early effort...
Yingbo Wang, Peter J. Clarke, Yi Deng