5863 search results - page 953 / 1173 » On Model-Checking of P Systems |
155
click to vote
IWMM
2000
Springer
15 years 10 months ago
2000
Springer
Many garbage-collected systems use a single garbage collection algorithm across all applications. It has long been known that this can produce poor performance on applications for...
147
click to vote
ASPDAC
1995
ACM
15 years 10 months ago
1995
ACM
Most existing high-level synthesis(HLS) systems attempt to generate a circuit from a behavioral description \out of the void", using the entire design space as the search dom...
186
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
170
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In today's fast changing business environment flexible Process Aware Information Systems (PAISs) are required to allow companies to rapidly adjust their business pro...
156
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Business processes provide a means of coordinating interactions between workers and organisations in a structured way. However the dynamic nature of the modern business e...