4212 search results - page 602 / 843 » Rights Expression Languages |
170
click to vote
IFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
174
click to vote
KESAMSTA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Imitative learning can be considered an essential task of humans development. People use instructions and demonstrations provided by other human experts to acquire knowle...
124
click to vote
ACSD
2008
IEEE
16 years 1 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
193
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
XML is designed to facilitate data exchange between applications. However, XML and its schema languages do not express semantics but rather the document structure, such as the nes...
182
click to vote
LICS
2008
IEEE
16 years 28 days ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...