1064 search results - page 43 / 213 » Disjoint Systems (Extended Abstract) |
SIGOPSE
2000
ACM
13 years 12 months ago
2000
ACM
Ubiquitous computing promotes physical spaces with hundreds of specialized embedded devices that increase our productivity, alleviate some specific everyday tasks and provide new ...
HYBRID
2003
Springer
14 years 25 days ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
EMSOFT
2001
Springer
14 years 3 days ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
EDOC
2009
IEEE
14 years 2 months ago
2009
IEEE
The impact IT systems have on organizations is widely debated, both in academia and industry. This paper describes a quantitative framework for analyzing organizational impact fro...
HYBRID
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...