1009 search results - page 41 / 202 » Performance Analysis of UML Models Using Aspect-Oriented Mod... |
139
click to vote
ICSE
2009
IEEE-ACM
16 years 20 days ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
CLEIEJ
2006
14 years 12 months ago
2006
: This paper presents an account of the experience observed when obtaining a set of requirements for the development of educational software for people with impaired vision. Numero...
100
click to vote
CCGRID
2005
IEEE
15 years 5 months ago
2005
IEEE
Running Data Grid applications such as High Energy Nuclear Physics (HENP) and weather modelling experiments involves working with huge data sets possibly of hundreds of Terabytes ...
BIB
2006
14 years 12 months ago
2006
This article is a critical review of computational techniques used to model, analyse and simulate signalling networks. We propose a conceptual framework, and discuss the role of s...
141
click to vote
FOSAD
2009
Springer
15 years 6 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...