4212 search results - page 366 / 843 » Rights Expression Languages |
205
click to vote
FMCO
2007
Springer
16 years 27 days ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
205
click to vote
APLAS
2005
ACM
16 years 9 days ago
2005
ACM
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
201
click to vote
CAISE
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. To cope with the ever increasing diversity of markup languages, programming languages, tool kits and interface development environments, conceptual modeling of user inter...
205
click to vote
EPEW
2005
Springer
16 years 8 days ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
168
click to vote
IWPC
2003
IEEE
16 years 16 hour ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...