3868 search results - page 76 / 774 » Open Systems in TLA |
115
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
143
Voted
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
Prior characterizations of open source projects have been based on the model of a community-founded project. More recently, a second model has emerged, where organizations spinout...
108
click to vote
HYBRID
2003
Springer
15 years 7 months ago
2003
Springer
The algorithmic analysis of timed automata is fundamentally limited by the undecidability of the universality problem. For this reason and others, there has been considerable inter...
90
Voted
MICCAI
2002
Springer
16 years 2 months ago
2002
Springer
This paper preliminarily reports the robotic system working inside the gantry of vertical field Open MRI. This manipulator is new in terms of the application to vertical field Open...
99
Voted
WWW
2007
ACM
16 years 2 months ago
2007
ACM
Open information spaces have several unique characteristics such as their changeability, large size, complexity and diverse user base. These result in novel challenges during user...