2232 search results - page 231 / 447 » Formal Modeling and Analysis of Organizations |
142
click to vote
JOT
2010
15 years 5 months ago
2010
Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol ano...
210
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by inform...
141
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We explore the concept of social landmarks in complex, shared information and coordination environments. Previous research in navigation and shared spaces has tended to emphasize ...
148
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...
175
click to vote
DIMVA
2006
15 years 8 months ago
2006
Abstract. The Internet, and in particular the world-wide web, have become part of the everyday life of millions of people. With the growth of the web, the demand for on-line servic...