Sciweavers

6054 search results - page 1025 / 1211
» Implementation of Andorra-based Languages
Sort
View
FM
1999
Springer
107views Formal Methods» more  FM 1999»
15 years 5 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
96
Voted
WECWIS
1999
IEEE
111views ECommerce» more  WECWIS 1999»
15 years 5 months ago
A Quantitative Analysis of the User Behavior of a Large E-Broker
The Internet and the World Wide Web provide a global virtual marketplace. However, there is little information about the behavior of e-commerce users worldwide. The goal of the pa...
Virgilio Almeida, Wagner Meira Jr., Victor F. Ribe...
COOPIS
1998
IEEE
15 years 5 months ago
A Generative Communication Service for Database Interoperability
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...
Wilhelm Hasselbring, Mark Roantree
153
Voted
ISD
1999
Springer
262views Database» more  ISD 1999»
15 years 5 months ago
Spatial Pictogram Enhanced Conceptual Data Models and Their Translation to Logical Data Models
The successful development of any geographic information system project needs the careful design and implementation of spatial databases via conceptual and logical data-modeling. T...
Shashi Shekhar, Ranga Raju Vatsavai, Sanjay Chawla...
163
Voted
HPDC
1998
IEEE
15 years 5 months ago
Matchmaking: Distributed Resource Management for High Throughput Computing
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. We argue that this paradigm does not ada...
Rajesh Raman, Miron Livny, Marvin H. Solomon
« Prev « First page 1025 / 1211 Last » Next »