3555 search results - page 250 / 711 » Security-Critical System Development with Extended Use Cases |
160
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Translational research requires taking basic science observations and developing them into clinically useful tests and therapeutics. We have developed a process to dev...
162
click to vote
COMPSAC
2007
IEEE
16 years 12 days ago
2007
IEEE
Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, ...
162
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
Abstract. This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus o...
159
click to vote
COLCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Community computing is an agent-based development paradigm for ubiquitous computing systems. In a community computing system, ubiquitous services are provided by cooperation among ...
149
click to vote
BIRTHDAY
2007
Springer
16 years 7 days ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...