Sciweavers

1008 search results - page 81 / 202
» A graphic functional-dataflow language
Sort
View
SOSYM
2010
107views more  SOSYM 2010»
14 years 8 months ago
A UML/OCL framework for the analysis of graph transformation rules
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
Jordi Cabot, Robert Clarisó, Esther Guerra,...
NGITS
1999
Springer
15 years 2 months ago
From Object-Process Diagrams to a Natural Object-Process Language
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
Mor Peleg, Dov Dori
VRML
1998
ACM
15 years 2 months ago
DWTP - An Internet Protocol for Shared Virtual Environments
VRML (the Virtual Reality Modeling Language) has brought 3D objects and virtual worlds to a large number of Internet users. While it provides a suitable basis for the platform ind...
Wolfgang Broll
PTS
2008
109views Hardware» more  PTS 2008»
14 years 11 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
SI3D
1995
ACM
15 years 1 months ago
CamDroid: A System for Implementing Intelligent Camera Control
In this paper, a method of encapsulating camera tasks into well defined units called “camera modules” is described. Through this encapsulation, camera modules can be programm...
Steven M. Drucker, David Zeltzer