1255 search results - page 188 / 251 » A Proof Environment for the Development of Group Communicati... |
SDL
2001
13 years 9 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
An algorithm has been developed to dynamically schedule heterogeneous tasks on heterogeneous processors in a distributed system. The scheduler operates in an environment with dyna...
ECLIPSE
2004
ACM
14 years 1 months ago
2004
ACM
Software engineering education is most often complemented by a software engineering project where a team of students has to develop a large software system. At a distance teaching...
ISCAS
2003
IEEE
14 years 29 days ago
2003
IEEE
Continuing trends in sensor, semiconductor and communication systems technology (smaller, faster, cheaper) make feasible very dense networks of fixed and mobile wireless devices ...
WFLP
2000
Springer
13 years 11 months ago
2000
Springer
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...