9974 search results - page 1681 / 1995 » Software Interconnection Models |
173
Voted
IEEESCC
2010
IEEE
15 years 1 months ago
2010
IEEE
Service-orientation and object-oriented design are common practice in the field of business application development. Business process execution languages help to facilitate the orc...
227
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
145
Voted
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Ontologies are used for sharing information and are often collaboratively developed. They are adapted for different applications and domains resulting in multiple version...
114
Voted
UTP
2010
15 years 1 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
134
Voted
HCI
2009
15 years 1 months ago
2009
Emotion is an important mental and physiological state, influencing cognition, perception, learning, communication, decision making, etc. It is considered as a definitive important...