1034 search results - page 141 / 207 » Inference of field initialization |
113
Voted
IWPC
2008
IEEE
15 years 9 months ago
2008
IEEE
Software maintenance tasks typically involve an important amount of program investigation effort on the part of software developers. To what extent can we benefit from prior prog...
92
Voted
CIBCB
2007
IEEE
15 years 8 months ago
2007
IEEE
—Many dynamical processes can be represented as directed attributed graphs or Petri nets where relationships between various entities are explicitly expressed. Signaling networks...
128
Voted
SEUS
2007
IEEE
15 years 8 months ago
2007
IEEE
Smart Home System (SHS) is one of popular applications in ubiquitous computing, which provides convenient services for a user with userfriendly intelligent system interfaces. Among...
135
click to vote
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
117
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...