1454 search results - page 16 / 291 » Stateful traits and their formalization |
109
Voted
FMICS
2009
Springer
15 years 7 months ago
2009
Springer
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checki...
110
Voted
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
107
click to vote
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...
JACIII
2007
15 years 10 days ago
2007
Abstract— A common framework for formalization of statetransition computation models is presented based on a general theory for studying the interrelationships between specifica...
87
Voted
WSC
2004
15 years 1 months ago
2004
The human behavior modeling community has traditionally been divided into those addressing individual behavior models, and those addressing organizational and team models. And yet...