9989 search results - page 198 / 1998 » A CLP Approach to Modelling Systems |
235
click to vote
ICOODB
2010
15 years 3 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
161
click to vote
SIMUTOOLS
2008
15 years 6 months ago
2008
Evaluating the performance of a cooperative relaying protocol requires an implementation for simulators and/or software-defined radios (SDRs) with an appropriate model for error d...
197
click to vote
ICSE
1995
IEEE-ACM
15 years 8 months ago
1995
IEEE-ACM
A major problem in requirements engineering is obtaining requirements that address the concerns of multiple stakeholders. An approach to such a problem is the Theory-W based Spira...
148
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
Due to computational intractability, large scale coordination algorithms are necessarily heuristic and hence require tuning for particular environments. In domains where character...
137
click to vote
TCS
2002
15 years 4 months ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...