3555 search results - page 564 / 711 » Security-Critical System Development with Extended Use Cases |
120
click to vote
CAISE
1997
Springer
15 years 8 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
140
click to vote
BPM
2007
Springer
15 years 7 months ago
2007
Springer
There is currently a strong focus worldwide on the potential of large-scale Electronic Health Record systems to cut costs and improve patient outcomes through increased efficiency....
133
Voted
ENTCS
2007
15 years 3 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
134
click to vote
MICCAI
2005
Springer
16 years 4 months ago
2005
Springer
Robotic surgical systems such as Intuitive Surgical's da Vinci system provide a rich source of motion and video data from surgical procedures. In principle, this data can be u...
141
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Service Management controls how business services are developed and delivered to customers. Business services must be flexible negotiable between customer and provider. Temporal a...