448 search results - page 70 / 90 » Tailoring the Software Process to Project Goals and Environm... |
ICSE
2000
IEEE-ACM
14 years 2 days ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
CAISE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In software engineering as well as in any engineering domain, a way of customizing the collaborative work to various modes of collaboration, i.e. synchronous and asynchro...
ERLANG
2004
ACM
14 years 6 days ago
2004
ACM
This paper introduces a new platform designed for mobile gambling services. The special characteristics of these services lead us to developed a multiservice platform that easily ...
IEEEPACT
1999
IEEE
14 years 23 days ago
1999
IEEE
This paper presents the Cameron Project 1 , which aims to provide a high level, algorithmic language and optimizing compiler for the development of image processing applications o...
IAT
2006
IEEE
14 years 2 months ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...