9785 search results - page 217 / 1957 » Open Agent Systems |
159
click to vote
JSW
2008
15 years 4 months ago
2008
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...
138
click to vote
PPDP
2009
Springer
15 years 10 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...
170
click to vote
HICSS
2005
IEEE
15 years 10 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...
133
click to vote
HYBRID
2003
Springer
15 years 9 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...
113
click to vote
MICCAI
2002
Springer
16 years 5 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...