3809 search results - page 314 / 762 » Associative language descriptions |
175
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
This paper studies the problem of modeling complex domains of actions and change within highlevel action description languages. We investigate two main issues of concern: (a) can ...
194
click to vote
RML
2002
15 years 6 months ago
2002
The trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers requires the extension of current (standalone)...
203
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
By nature, ubiquitous computing applications are intimately intertwined with users' everyday life. This situation is challenging because it requires to make the development of...
187
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
191
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...