11436 search results - page 241 / 2288 » Modeling Real Reasoning |
172
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
178
click to vote
CONSTRAINTS
1998
15 years 3 months ago
1998
Many temporal applications like planning and scheduling can be viewed as special cases of the numeric and symbolic temporal constraint satisfaction problem. Thus we have developed ...
156
Voted
ATAL
2011
Springer
14 years 3 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
147
Voted
ISORC
2003
IEEE
15 years 8 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...
138
Voted
IS
2008
15 years 3 months ago
2008
Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in ...