1034 search results - page 141 / 207 » Inference of field initialization |
142
Voted
IWPC
2008
IEEE
16 years 17 days 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...
131
Voted
CIBCB
2007
IEEE
16 years 15 days 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...
168
Voted
SEUS
2007
IEEE
16 years 13 days 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...
172
Voted
TPHOL
2007
IEEE
16 years 13 days 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...
168
Voted
FSEN
2007
Springer
16 years 10 days 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...