858 search results - page 160 / 172 » A Vision for International Standardization in Software and S... |
COMSWARE
2007
IEEE
14 years 2 months ago
2007
IEEE
—This paper deals with the topology formation schemes in the IEEE 802.11 based wireless mesh network. The recent standardization effort for specifying a wireless distribution sys...
PLDI
2005
ACM
14 years 2 months ago
2005
ACM
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
IFM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
WISE
2003
Springer
14 years 1 months ago
2003
Springer
Web services are becoming the prominent paradigm for distributed computing and electronic business. This has raised the opportunity for service providers and application developer...
AFRIGRAPH
2001
ACM
14 years 2 days ago
2001
ACM
This article presents a gesture detection and analysis framework for modelling multimodal interactions. It is particulary designed for its use in Virtual Reality (VR) applications...