9444 search results - page 248 / 1889 » The Language Model LMNtal |
161
click to vote
ENTCS
2007
15 years 6 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
168
click to vote
JBI
2008
15 years 6 months ago
2008
The complexity of quantitative biomedical models, and the rate at which they are published, is increasing to a point where managing the information has become all but impossible w...
166
click to vote
WICSA
2001
15 years 8 months ago
2001
Software architecture research focuses on models of software architectures as specified in architecture description languages (ADLs). As research progresses in specific areas of s...
174
click to vote
TAPSOFT
1991
Springer
15 years 10 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
172
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...