255 search results - page 15 / 51 » jucs 2006 |
94
Voted
JUCS
2006
15 years 12 days ago
2006
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...
82
Voted
JUCS
2006
15 years 12 days ago
2006
: Behavioural specifications allow to focus only on the"observable" behaviour of objects. These observations are made through "observable contexts" which are pa...
103
Voted
JUCS
2006
15 years 12 days ago
2006
: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...
JUCS
2006
15 years 12 days ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
81
Voted
JUCS
2006
15 years 12 days ago
2006
This paper presents a parameterized schema for interval constraint branching that (with suitable instantiations of the parameters) can solve interval constraint satisfaction probl...