4008 search results - page 620 / 802 » An expressive language of signatures |
161
click to vote
VL
2007
IEEE
16 years 23 days ago
2007
IEEE
When creating new application programming interfaces (APIs), designers must make many decisions. These decisions affect the quality of the resulting APIs in terms of performance (...
172
click to vote
ECOOP
2007
Springer
16 years 20 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to...
210
click to vote
ECOWS
2007
Springer
16 years 20 days ago
2007
Springer
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...
162
click to vote
ECSQARU
2007
Springer
16 years 20 days ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
149
click to vote
ER
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...