1157 search results - page 84 / 232 » Descriptive Complexity and Model Checking |
MABS
2004
Springer
15 years 3 months ago
2004
Springer
A new approach is suggested under the slogan “Keep it Descriptive Stupid” (KIDS) that encapsulates a trend in increasingly descriptive agentbased social simulation. The KIDS ap...
ICDM
2006
IEEE
15 years 3 months ago
2006
IEEE
Sequence data are abundant in application areas such as computational biology, environmental sciences, and telecommunications. Many real-life sequences have a strong segmental str...
FORTE
2009
14 years 7 months ago
2009
Abstract. Building complex component-based software systems, for instance communication systems based on the Click, Coyote, Appia, or Dream frameworks, can lead to subtle assemblag...
ECBS
2008
IEEE
14 years 11 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
CAV
2008
Springer
14 years 11 months ago
2008
Springer
Hangal et. al. [3] have developed a procedure to check if an instance of the execution of a shared memory multiprocessor program, is consistent with the Total Store Order (TSO) mem...