10092 search results - page 1939 / 2019 » Active conditional models |
167
click to vote
HYBRID
2010
Springer
15 years 11 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
154
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
We propose a web-based computer-assisted tool for diagnosing progress in international negotiation. The system is based on a general linear model. Innovative features of the progr...
162
click to vote
ICNP
2002
IEEE
15 years 11 months ago
2002
IEEE
Despite a decade of research and development, multicast has not yet been deployed on a global scale. Among the difficulties with the current infrastructure are intermulticast fai...
163
click to vote
ISMAR
2002
IEEE
15 years 11 months ago
2002
IEEE
One of the most crucial tasks in a see-through augmented reality (AR) system is to register the virtual objects with the real world through a transparent display. The importance s...
170
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...