Sciweavers

2550 search results - page 258 / 510
» Architecture as Language
Sort
View
WCRE
2003
IEEE
15 years 12 months ago
Toward an environment for comprehending distributed systems
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
Maher Salah, Spiros Mancoridis
270
Voted
SIGMOD
2009
ACM
218views Database» more  SIGMOD 2009»
16 years 6 months ago
DejaVu: declarative pattern matching over live and archived streams of events
DejaVu is an event processing system that integrates declarative pattern matching over live and archived streams of events on top of a novel system architecture. We propose to dem...
Nihal Dindar, Baris Güç, Patrick Lau, ...
ECRTS
2000
IEEE
15 years 11 months ago
Towards validated real-time software
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
Valérie Bertin, Michel Poize, Jacques Pulou...
ICIA
2007
15 years 9 months ago
Enhancing Interaction with To-Do Lists: Using Artificial Assistants
Assisting users with To Do lists presents new challenges for intelligent user interfaces. This paper presents our approach and an implemented system, BEAM, to process To Do list e...
Yolanda Gil, Timothy Chklovski
BIRTHDAY
2003
Springer
15 years 12 months ago
Comet in Context
Combinatorial optimization problems naturally arise in many application areas, including logistics, manufacturing, supplychain management, and resource allocation. They often give...
Laurent Michel, Pascal Van Hentenryck