656 search results - page 46 / 132 » A Formalization of Transition P Systems |
110
click to vote
WADT
1998
Springer
15 years 4 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
IUI
2005
ACM
15 years 6 months ago
2005
ACM
This paper describes SmartCanvas, an intelligent desk system that allows a user to perform freehand drawing on a desk or similar surface with gestures. Our system requires one cam...
100
click to vote
ISWC
2003
IEEE
15 years 5 months ago
2003
IEEE
Context-aware computing describes the situation where a wearable / mobile computer is aware of its user’s state and surroundings and modifies its behavior based on this informat...
85
Voted
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...