4290 search results - page 204 / 858 » Formal Approaches to Teamwork |
144
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
If a business built a plant to produce products without first designing a process to manufacture them, the risk would be lack of capacity without significant plant redesign. Simil...
211
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
184
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a unified approach to evaluating the relative expressive power of process calculi. In particular, we identify a small set of criteria (that have already b...
178
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Modern feature-rich telecommunications services offer significant opportunities to human users. To make these services more usable, facilitating personalisation is very important s...
166
click to vote
FIW
2007
15 years 8 months ago
2007
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...