489 search results - page 32 / 98 » Reasoning about confidentiality at requirements engineering ... |
110
Voted
ICTAI
2003
IEEE
15 years 5 months ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
99
Voted
KBSE
2006
IEEE
15 years 6 months ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
93
Voted
AAMAS
2007
Springer
15 years 18 days ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
102
Voted
EUROMICRO
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper addresses the problem of predicting timing properties of multi-tasking component assemblies during the design phase. For real-time applications, it is of vital importan...
104
Voted
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
—This paper deals with the problem of scheduling workflow applications with Quality of Service (QoS) constraints, comprising real-time and interactivity constraints, over a servi...