3379 search results - page 197 / 676 » Combinators for Interaction Nets |
138
click to vote
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
We demonstrate a prototype that translates schemas from a source metamodel (e.g., OO, relational, XML) to a target metamodel. The prototype is integrated with Microsoft Visual Stu...
135
click to vote
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
In pervasive computing environments, conditions are highly variable and resources are limited. In order to meet the needs of applications, systems must adapt dynamically to changi...
138
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
The Visual Acts theory aims to provide intelligent assistance for camera viewpoint selection during teleoperation. It combines top-down partitioning of a task and bottom-up monito...
140
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
179
click to vote
ICFEM
2003
Springer
15 years 10 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...