Sciweavers

17 search results - page 1 / 4
» Continuous Space-Time Semantics Allow Adaptive Program Execu...
Sort
View
SASO
2007
IEEE
13 years 11 months ago
Continuous Space-Time Semantics Allow Adaptive Program Execution
Jonathan Bachrach, Jacob Beal, Takeshi Fujiwara
DFG
2004
Springer
13 years 10 months ago
Executable HybridUML and Its Application to Train Control Systems
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
Kirsten Berkenkötter, Stefan Bisanz, Ulrich H...
ISORC
2006
IEEE
13 years 10 months ago
Looking Ahead in Open Multithreaded Transactions
Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and co...
Maxime Monod, Jörg Kienzle, Alexander Romanov...
OOPSLA
2005
Springer
13 years 10 months ago
Subtext: uncovering the simplicity of programming
Representing programs as text strings makes programming harder then it has to be. The source text of a program is far removed from its behavior. Bridging this conceptual gulf is w...
Jonathan Edwards
SCP
1998
163views more  SCP 1998»
13 years 4 months ago
Computing with Continuous Change
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat