Sciweavers

3021 search results - page 311 / 605
» A Domain Engineering Approach for Situational Method Enginee...
Sort
View
ATAL
2008
Springer
15 years 8 months ago
BDI-agents for agile goal-oriented business processes
Business processes are the core assets of enterprises. They turn the business potential into actual competitiveness on the market. To face the challenges posed by today's cha...
Birgit Burmeister, M. Arnold, Felicia Copaciu, Gio...
JNW
2008
177views more  JNW 2008»
15 years 6 months ago
Design and Evaluation of a Novel HIP-Based Network Mobility Protocol
The rapid growth of IP-based mobile telecommunication technologies in the past few years has revealed situations where not only a single node but an entire network moves and change...
Szabolcs Nováczki, László Bok...
DIGRA
2005
Springer
16 years 5 days ago
Fictive affinities in Final Fantasy XI: complicit and critical play in fantastic nations.
Like many massively-multiplayer role-playing games, Final Fantasy XI is a persistent world with a heroic fantasy setting. This paper discusses fictive player identities, and descr...
William Huber
PPDP
2005
Springer
16 years 3 days ago
Formal validation of pattern matching code
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
Claude Kirchner, Pierre-Etienne Moreau, Antoine Re...
SMA
1993
ACM
124views Solid Modeling» more  SMA 1993»
15 years 10 months ago
Intelligent form feature interaction management in a cellular modeling scheme
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
Rafael Bidarra, José Carlos Teixeira