1757 search results - page 178 / 352 » Integrating and Extending JCSP |
170
click to vote
I3E
2001
15 years 6 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
142
click to vote
IVEVA
2004
15 years 6 months ago
2004
This paper presents ongoing research on human-computer interaction in virtual environments using voice recognition systems. The paper starts describing voice recognition technologi...
152
Voted
ECIS
2003
15 years 6 months ago
2003
For extended enterprises, value-chain integration means that enterprise business systems can no longer be confined to internal processes, applications, and data repositories. What...
134
Voted
ECIS
2003
15 years 6 months ago
2003
Research problems in ICT networks often comprise coordination problems of information infrastructures and require state-of-the-art methods of coping with complex system dynamics. ...
146
click to vote
FMOODS
2003
15 years 6 months ago
2003
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...