647 search results - page 104 / 130 » An Approach to Relate Viewpoints and Modeling Languages |
SIGCOMM
2009
ACM
15 years 6 months ago
2009
ACM
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundame...
FGR
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we describe a dynamic Bayesian network or DBN based approach to both two-hand gestures and onehand gestures. Unlike wired glove-based approaches, the success of cam...
160
click to vote
FMOODS
2008
15 years 1 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
108
click to vote
PPDP
2007
Springer
15 years 5 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
115
click to vote
EDBT
2010
ACM
15 years 3 months ago
2010
ACM
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...