2844 search results - page 476 / 569 » A Comparison of Partitioning Operating Systems for Integrate... |
120
click to vote
DFG
2001
Springer
15 years 10 months ago
2001
Springer
: Das Projekt Q3a des SFB 414 konzentriert sich auf die Verbesserung von Methoden zur interaktiven Segmentierung von anatomischen Strukturen. Regionen- und konturbasierte Segmentie...
214
click to vote
SAS
1992
Springer
15 years 10 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
160
click to vote
ICPADS
1998
IEEE
15 years 10 months ago
1998
IEEE
A user-defined telecooperation service (UTS) provides service elements for application-specific communication and cooperation processes as well as integrated means for the service...
214
click to vote
CF
2004
ACM
15 years 11 months ago
2004
ACM
In a future networked physical world, a myriad of smart sensors and actuators assess and control aspects of their environments and autonomously act in response to it. Examples ran...
170
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...