Sciweavers

3676 search results - page 355 / 736
» Scalable component abstractions
Sort
View
RTSS
2009
IEEE
16 years 1 months ago
Distributed, Modular HTL
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
Thomas A. Henzinger, Christoph M. Kirsch, Eduardo ...
ICDE
2006
IEEE
141views Database» more  ICDE 2006»
16 years 28 days ago
MoSCoE: A Framework for Modeling Web Service Composition and Execution
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from independently developed components promises to enhan...
Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasa...
LPNMR
2004
Springer
16 years 7 days ago
Using Criticalities as a Heuristic for Answer Set Programming
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
Orkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman
PADL
2004
Springer
16 years 7 days ago
Compositional Model-Views with Generic Graphical User Interfaces
Abstract. Creating GUI programs is hard even for prototyping purposes. Using the model-view paradigm makes it somewhat simpler since the model-view paradigm dictates that the model...
Peter Achten, Marko C. J. D. van Eekelen, Marinus ...
WIA
2004
Springer
16 years 7 days ago
Testability of Oracle Automata
d abstract) Gaoyan Xie, Cheng Li, and Zhe Dang   School of Electrical Engineering and Computer Science Washington State University Pullman, WA 99164, USA Abstract. In this paper, ...
Gaoyan Xie, Cheng Li, Zhe Dang