2250 search results - page 407 / 450 » Interactive Explanation of Software Systems |
145
Voted
BIBE
2007
IEEE
15 years 6 months ago
2007
IEEE
Multi-state molecules and multi-component complexes are commonly involved in cellular signaling. Accounting for molecules that have multiple potential states, such as a protein tha...
136
Voted
ELPUB
2007
ACM
15 years 6 months ago
2007
ACM
Creating Internet services for a specific auditorium involves technical, organizational and sociological challenges to developers, processes and used technologies. Authoring and d...
134
Voted
ASM
2010
ASM
15 years 6 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
132
Voted
ISUVR
2007
15 years 4 months ago
2007
—In this paper, we propose a novel concept of Ubiquitous Virtual Reality (U-VR) and examine technical challenges to be required for realizing it. It is difficult to realize Virtu...
149
Voted
ISSA
2004
15 years 4 months ago
2004
Web Services technology enables organisations to exploit software as a service. Services are accessed by method invocations. Method interfaces are described and published, and may...