3362 search results - page 46 / 673 » A definition of subjective possibility |
107
click to vote
SIGCSE
2009
ACM
16 years 12 days ago
2009
ACM
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
104
click to vote
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
In this paper we analyze the complexity of scheduling wireless links in the physical interference model with analog network coding capability. We study two models with different d...
POPL
2010
ACM
15 years 9 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
112
click to vote
WETICE
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper describes WOLF, a development environment for WADE-based applications. WADE is a software platform, based on JADE, a popular Open Source framework, for the development ...
SIGCPR
2005
ACM
15 years 5 months ago
2005
ACM
Despite over six decades of research on the role and definition of the IT workforce, there remain numerous, and often contradictory, definitions related to the identity of this gr...