Sciweavers

3008 search results - page 349 / 602
» Mechanisms for Importing Modules
Sort
View
SAC
2006
ACM
15 years 6 months ago
Transformation of B specifications into UML class diagrams and state machines
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz
IJWMC
2007
103views more  IJWMC 2007»
15 years 6 months ago
Interworking of 3G cellular networks and wireless LANs
: The Third Generation (3G) cellular networks provide ubiquitous connectivity but low data rates, whereas Wireless Local Area Networks (WLANs) can offer much higher data rates but ...
Wei Song, Weihua Zhuang, Aladdin Saleh
JITECH
2007
71views more  JITECH 2007»
15 years 6 months ago
E-government: towards the e-bureaucratic form?
Bureaucratic institutions not only provide mechanisms to coordinate work activities in the public sector, but also serve to enforce the democratic values of equality and impartial...
Antonio Cordella
AAMAS
2004
Springer
15 years 6 months ago
Agent-Mediated Electronic Commerce
Abstract. Electronic commerce has been one of the traditional arenas for agent technology. The complexity of these applications has been a challenge for researchers that have devel...
Carles Sierra
CAGD
2004
122views more  CAGD 2004»
15 years 6 months ago
Axioms and variational problems in surface parameterization
For a surface patch on a smooth, two-dimensional surface in IR3 , low-distortion parameterizations are described in terms of minimizers of suitable energy functionals. Appropriate...
Ulrich Clarenz, Nathan Litke, Martin Rumpf