Sciweavers

1714 search results - page 248 / 343
» Abstract Models of Memory Management
Sort
View
AOSD
2006
ACM
15 years 9 months ago
Using aspects to support the software process: XP over Eclipse
Usually, aspects enhance a software product by being composed - or woven - into it. Here, on the other hand, we use aspects to support the software development process itself. The...
Oren Mishali, Shmuel Katz
JUCS
2002
116views more  JUCS 2002»
15 years 2 months ago
Bounded Flooding Routing Algorithm for Provisioning the Globally Optimal Route in a Hierarchical ATM Network
: ATM virtual path (VP) contains bundles of virtual channels (VCs). A VP layer network can be used as a server layer network of VC layer networks and each VC layer network can be a...
Daniel Won-Kyu Hong, Choong Seon Hong, Dong-Sik Yu...
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
15 years 8 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
IPMU
2010
Springer
15 years 8 months ago
Plateau Regions: An Implementation Concept for Fuzzy Regions in Spatial Databases and GIS
Abstract. Many geographical applications need to model spatial phenomena with vague or indeterminate boundaries and interiors. A popular paradigm adopted by the GIS community for t...
Virupaksha Kanjilal, Hechen Liu, Markus Schneider
DSVIS
2008
Springer
15 years 4 months ago
Towards a Library of Workflow User Interface Patterns
Abstract. A collection of user interface design patterns for workflow information systems is presented. Each Workflow User Interface Pattern (WUIP) is characterized by properties e...
Josefina Guerrero García, Jean Vanderdonckt...