BCSHCI
2008
14 years 1 months ago
2008
The aim of the tutorial is to help researchers, particularly early career researchers, to develop the appropriate skills to make a useful research contribution to Human-Computer I...
DSN
2008
IEEE
14 years 2 months ago
2008
IEEE
Our society is heavily dependent on a wide variety of communication services. These services must be available even when undesirable events like sabotage, natural disasters, or ne...
ZUM
1991
Springer
14 years 3 months ago
1991
Springer
During 1990 and 1991 we carried out a survey of Z users in the UK; in this paper we present the results. Z is being used by a wide variety of companies for many different applicat...
ANSS
2001
IEEE
14 years 4 months ago
2001
IEEE
Simulation software has made great advances in recent years along the dimensions of modeling capabilities, animated graphics, and ease of use. There have also been real improvemen...
BROADNETS
2004
IEEE
14 years 4 months ago
2004
IEEE
Wireless Sensor networks is an emerging paradigm of computing and networking where a node may be selfpowered, and have sensing, computing, and communication capabilities. They hav...
HT
2007
ACM
14 years 4 months ago
2007
ACM
Web sites must often service a wide variety of clients. Thus, it is inevitable that a web site will allow some visitors to find their information quickly while other visitors have...
SIGGRAPH
1992
ACM
14 years 4 months ago
1992
ACM
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...
COMPSAC
1997
IEEE
14 years 4 months ago
1997
IEEE
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still’be considered a niche market, there is growing evidenc...
DEXAW
1999
IEEE
14 years 4 months ago
1999
IEEE
The wide variety of abstract system development methodologies available includes the waterfall and V models. These models are often too generic and need careful adaptation to suit ...
CONCUR
2004
Springer
14 years 5 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...