10038 search results - page 526 / 2008 » Model Checking for Managers |
159
click to vote
FLAIRS
2007
15 years 9 months ago
2007
The paper presents a conceptual solution and an implementation for acquiring, modeling, publishing, retrieving, reusing and maintaining knowledge within XWiki, an open source coll...
183
click to vote
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
Planning iterations in software projects requires considering artifacts from different aspects such as requirements, specifications, tasks or even bug reports. UNICASE is a unifie...
172
click to vote
WOA
2003
15 years 8 months ago
2003
Agents in the Multilayered Multi Agent Situated System (MMASS) model can perform at-a-distance distance communication by field diffusion over the structure of the environment that...
199
click to vote
ANOR
2006
15 years 7 months ago
2006
This paper presents two contributions: A set of routines that manipulate instances of stochastic programming problems in order to make them more amenable for different solution ap...
189
click to vote
SIGMOD
1997
ACM
15 years 11 months ago
1997
ACM
The Strudel system applies concepts from database management systems to the process of building Web sites. Strudel’s key idea is separating the management of the site’s data, t...