356 search results - page 8 / 72 » Towards modular i* models |
CLEF
2006
Springer
15 years 1 months ago
2006
Springer
This year, besides providing support to other groups participating in cross-language Question Answering (QA) tasks, and submitting runs both for the monolingual Italian and the cr...
APSEC
2005
IEEE
15 years 3 months ago
2005
IEEE
While aspect-oriented modeling has been recognized as a useful means of improving the modularity of software design, the de facto standard modeling language UML lacks first-class...
MSWIM
2005
ACM
15 years 3 months ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
109
click to vote
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
Bushfire BLOCKS is a modular, distributed, agent-based simulation for exploring and informing bushfire response strategies. Separate independent modules capture the fire spread, e...