3081 search results - page 512 / 617 » A Formal Ontology of Properties |
192
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
: Service Discovery as an essential element in pervasive computing environments is widely accepted. Much active research on service discovery has been conducted, but privacy has be...
147
click to vote
MOBIHOC
2008
ACM
16 years 6 months ago
2008
ACM
Recently, cooperative communications, in the form of keeping each node with a single antenna and having a node exploit a relay node's antenna, is shown to be a promising appr...
196
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...
170
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
163
click to vote
LATA
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Learnability is a vital property of formal grammars: representation classes should be defined in such a way that they are learnable. One way to build learnable represent...