3515 search results - page 662 / 703 » On the semantics of Strategy Logic |
166
click to vote
PLDI
2006
ACM
16 years 26 days ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
187
click to vote
PLDI
2006
ACM
16 years 26 days ago
2006
ACM
The number and the importance of web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
137
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
There are many situations where an agent can perform one of several sets of actions in responses to changes in its environment, and the agent chooses to perform the set of actions...
224
click to vote
COOPIS
2002
IEEE
15 years 12 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
199
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...