1524 search results - page 181 / 305 » Operational Semantics of Hybrid Systems |
IFM
2000
Springer
15 years 1 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
BPM
2006
Springer
14 years 12 months ago
2006
Springer
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
CORR
1999
Springer
14 years 9 months ago
1999
Springer
: There has been much discussion recently about the scope and limits of purely symbolic models of the mind and about the proper role of connectionism in cognitive modeling. This pa...
ISDA
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper we present an approach to sharing a user model among several adaptive hypermedia applications. Current adaptive hypermedia applications often realize the user model ...
101
click to vote
TSE
2008
14 years 9 months ago
2008
Current text based Software Configuration Management (SCM) systems have trouble with refactorings. Refactorings result in global changes which lead to merge conflicts. A refactorin...