3056 search results - page 56 / 612 » Open Implementation Analysis and Design |
120
Voted
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Most current software systems contain undocumented high-level ideas implemented across multiple files and modules. When developers perform program maintenance tasks, they often wa...
144
Voted
IAT
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
110
Voted
NCA
2009
IEEE
15 years 9 months ago
2009
IEEE
— CalRadio 1 is an open 802.11b-compatible development platform, designed and developed at UCSD with the aim of providing the research community with an open and fully reprogramm...
115
Voted
ESSOS
2010
Springer
15 years 11 months ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
106
Voted
DKE
2010
15 years 2 months ago
2010
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...