4476 search results - page 741 / 896 » A flexible framework for engineering |
177
click to vote
EEMMAS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Collaborative Ubiquitous Environments (CUEs) are environments supporting collaboration among persons in a ubiquitous computing setting. This paper shows how results of th...
157
click to vote
FSTTCS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
167
click to vote
FSTTCS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
161
click to vote
ICCS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. This paper reviews recent developments in our project that are focused on dynamic data-driven methods for efficient and reliable simulation based optimization, which may...
172
click to vote
SARA
2007
Springer
16 years 16 days ago
2007
Springer
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...