2232 search results - page 70 / 447 » Formal Modeling and Analysis of Organizations |
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
ECIS
2004
15 years 25 days ago
2004
There are few development organizations that have fully integrated usability activities as an integral part of their product development projects. One reason for this is that the ...
AOSE
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
SIMUTOOLS
2008
15 years 26 days ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
104
click to vote
DEON
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...