3765 search results - page 308 / 753 » Formal Methods for Systems Engineering Behavior Models |
163
click to vote
SEKE
2004
Springer
16 years 1 days ago
2004
Springer
People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday sof...
175
Voted
DANCE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...
199
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...
164
click to vote
FM
2005
Springer
16 years 7 days ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
191
click to vote
CIDM
2007
IEEE
16 years 1 months ago
2007
IEEE
— In recent applications of clustering such as gene expression microarray analysis, collaborative filtering, and web mining, object similarity is no longer measured by physical ...