Sciweavers

5034 search results - page 196 / 1007
» A Content-Centric Development Process Model
Sort
View
137
Voted
COORDINATION
2008
Springer
15 years 5 months ago
A Process Calculus for Mobile Ad Hoc Networks
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
RE
2009
Springer
15 years 10 months ago
[vem: xi: ] - A Methodology for Process Based Requirements Engineering
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...
Philipp Liegl, Rainer Schuster, Marco Zapletal, Ch...
ANSOFT
2002
126views more  ANSOFT 2002»
15 years 3 months ago
The Real-Time Process Algebra (RTPA)
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...
Yingxu Wang
CAISE
2004
Springer
15 years 9 months ago
Remaining Fit: On the Creation and Maintenance of Fit
This paper serves as the introductory note to the Fifth Workshop on Business Process Modeling, Development, and Support (BPMDS’04). The workshop focuses on the exploration of iss...
Gil Regev, Alain Wegmann
134
Voted
WSC
2008
15 years 5 months ago
A simplified modeling approach for human system interaction
Despite increasing dependency on technology, the importance of humans is expected to increase and to provide a realistic basis for decision support; both technical and organizatio...
Torbjorn P. E. Ilar