2989 search results - page 199 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
113
Voted
IJCAI
2001
15 years 3 months ago
2001
Anchoring is the process of creating and maintaining the correspondence between symbols and percepts that refer to the same physical objects. Although this process must necessaril...
110
click to vote
MEMOCODE
2006
IEEE
15 years 8 months ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...
126
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
126
click to vote
CDVE
2007
Springer
15 years 8 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
115
click to vote
INFOCOM
2010
IEEE
15 years 27 days ago
2010
IEEE
Abstract—Accurate and timely identification of the routerlevel topology of the Internet is one of the major unresolved problems in Internet research. Topology recovery via tomog...