4255 search results - page 825 / 851 » Database: Models, Languages, Design |
ICSE
2008
IEEE-ACM
2008
IEEE-ACM
Developing a security protocol for a distributed decision support system in a healthcare environment
14 years 10 months ago
In this paper, we describe the unique security issues involved in healthcare domains. These have been addressed to the needs of the HealthAgents project. In the proposed approach,...
ZUM
1997
Springer
14 years 2 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
AAAI
2006
13 years 11 months ago
2006
ScriptEase is a tool that allows authors with no programming experience to create interactive stories for computer role-playing games. Instead of writing scripting code manually, ...
ANSOFT
2002
13 years 9 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
SIGOPS
2010
13 years 8 months ago
2010
Today’s Rich Internet Application (RIA) technologies such as Ajax, Flex, or Silverlight, are designed around the client-server paradigm and cannot easily take advantage of repli...