1581 search results - page 170 / 317 » Domain semantics of possibility computations |
141
Voted
WAC
2005
Springer
15 years 9 months ago
2005
Springer
Self-organized and ad hoc communications have many fundamental principles in common and also face similar problems in the domains of security and Quality of Service. Trust manageme...
137
Voted
SAS
1999
Springer
15 years 8 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
156
Voted
SPLC
2008
15 years 5 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
170
Voted
SPIESR
1997
15 years 5 months ago
1997
The development of increasingly complex multimedia applications calls for new methodologies for the organization and retrieval of still images and video sequences. Query and retri...
122
click to vote
EACL
1989
ACL Anthology
15 years 5 months ago
1989
ACL Anthology
DATR is a declarative language for representing a restricted class of inheritance networks, permitting both multiple and default inheritance. The principal intended area of applic...