1707 search results - page 75 / 342 » On the Design of Agent-Based Systems using UML and Extension... |
154
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
148
click to vote
ECOWS
2004
Springer
15 years 11 months ago
2004
Springer
Web Services are designed for loosely coupled systems, which means that in many cases it is not possible to synchronously upgrade all peers of a Web Service scenario. Instead, Web ...
142
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
Research in the fields of software quality and maintainability requires the analysis of large quantities of data, which often originate from open source software projects. Pre-pro...
157
click to vote
ISORC
2009
IEEE
16 years 28 days ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
185
click to vote
ICSEA
2006
IEEE
16 years 9 days ago
2006
IEEE
—Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. SAN models have been used to evaluate a wide range of systems and are supported by several mod...