21430 search results - page 3903 / 4286 » Abstract Effective Models |
129
Voted
TIC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
168
click to vote
UML
2000
Springer
15 years 8 months ago
2000
Springer
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, beh...
144
Voted
CVRMED
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. Current surgical robotic systems in orthopaedics lack realistic pre-operative simulations and utilize invasive methods to register bone intra-operatively. A multidiscipli...
137
click to vote
ECAL
1995
Springer
15 years 8 months ago
1995
Springer
Although recently there has been an increasing interest in studing genetically-based development using Artificial Life models, the mapping of the genetic information into the phen...
162
click to vote
ECOOP
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...