21379 search results - page 372 / 4276 » The profession of IT - Evolutionary system development |
165
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
1 - This paper discusses an architecture designed to provide support for the development of state transition models for an object-oriented distributed environment. The state transi...
177
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
This work aims at developing appropriate Mixed Interaction Systems (MIS) for navigating 3D environments in a science centre context. Due to the wide range and multi-disciplinary de...
162
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
157
click to vote
CCS
2004
ACM
16 years 7 days ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
180
click to vote
IDEAS
2009
IEEE
16 years 1 months ago
2009
IEEE
In designing dynamic situations such as cyberworlds, we the Incrementally Modular Abstraction Hierarchy (IMAH) to be an appropriate mathematical background to model dynamically ch...