The agent-based approach is an effective one for building middleware interconnecting distributed heterogeneous resources and providing semantic interoperability among them. On the...
Sonnet was designed as a visual language for implementing real-time processes. Early design and development of behavioral components has largely focused on the domain of music pro...
Fred L. Collopy, Robert M. Fuhrer, David H. Jameso...
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
While there are many proposals for spatio-temporal data models and query languages, there is a lack of research into application development using spatio-temporal database systems....
Tony Griffiths, Norman W. Paton, Alvaro A. A. Fern...