5634 search results - page 856 / 1127 » About Abstract Classes |
176
click to vote
MODELS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the b...
147
click to vote
MONTEREY
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
183
click to vote
OTM
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In the engineering domain, the development of complex products (e.g., cars) necessitates the coordination of thousands of (sub-)processes. One of the biggest challenges f...
217
click to vote
PET
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Anonymizing networks such as Tor allow users to access Internet services privately using a series of routers to hide the client’s IP address from the server. Tor’s su...
155
click to vote
RE
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Traceability from requirements to code is mandated by numerous software development standards. These standards, however, are not explicit about the appropriate level of q...