103 search results - page 4 / 21 » Language and UML Support for Features: Two Research Challeng... |
150
click to vote
SAC
2003
ACM
15 years 10 months ago
2003
ACM
Workflow technology plays a key role as an enabler in E-Commerce applications, such as supply chains. Until recently the major share of the attention of workflow systems researche...
170
Voted
UML
2001
Springer
15 years 9 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...
191
click to vote
AWPN
2008
15 years 6 months ago
2008
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...
145
Voted
CEEMAS
2005
Springer
15 years 11 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
149
click to vote
CIDR
2009
15 years 6 months ago
2009
Recent work has shown that we can dramatically improve the performance of computer games and simulations through declarative processing: Character AI can be written in an imperati...