1453 search results - page 146 / 291 » Aspectizing Server-Side Distribution |
109
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
111
click to vote
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
There is an increasing trend in global software development, where different parts of a software product are being developed in different organisations. The process aspect of such...
115
click to vote
APN
2001
Springer
15 years 6 months ago
2001
Springer
The increasing number of Petri net variants naturally leads to the question whether the term “Petri net” is more than a common name for very different concepts. This contribut...
136
click to vote
UML
2001
Springer
15 years 6 months ago
2001
Springer
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
103
Voted
ICRA
2000
IEEE
15 years 6 months ago
2000
IEEE
s Omni-directional mobile robots have been popularly employed in several application areas. However, the kinematics for these systems have not been clearly identified, specially fo...