982 search results - page 48 / 197 » Model Based Multi-Level Prototyping |
117
Voted
DSRT
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
102
Voted
SYNASC
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we present a rewriting framework for modeling molecular complexes, biochemical reaction rules, and generation of biochemical networks based on the representation of...
119
click to vote
EUC
2005
Springer
15 years 8 months ago
2005
Springer
A world model for ubiquitous computing environments is presented. It can be dynamically organized like a tree based on geographical containment, such as in a user-room-floor-build...
121
click to vote
SEBD
2003
15 years 3 months ago
2003
Abstract. In this paper, we present the preliminary results of an ongoing research activity concerning the temporal management of normative texts in XML format. In particular, four...
147
click to vote
SIES
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...