7380 search results - page 505 / 1476 » Engineering Software Intensive Systems |
139
click to vote
TMRA
2007
Springer
15 years 11 months ago
2007
Springer
Fuzzzy.com, a social bookmarking website has been developed to study collaborative creation of semantics. In a shared online space, users of Fuzzzy continuously create metadata bot...
138
Voted
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
145
click to vote
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a mechanism for dividing an agent oriented application into the three IEEE defined scoping levels of essential, conditional and optional. This mechanism is ap...
136
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
137
Voted
AUIC
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper presents user interface technology, using a glove based menuing system and 3D interaction techniques. It is designed to support applications that allow users to constru...