Sciweavers

39362 search results - page 295 / 7873
» Global Computing Systems
Sort
View
ICALP
2000
Springer
15 years 8 months ago
Formalizing the Development of Agent-Based Systems Using Graph Processes
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
Ralph Depke, Reiko Heckel
SIAMCO
2011
14 years 11 months ago
Converse Lyapunov Theorems for Switched Systems in Banach and Hilbert Spaces
Abstract. We consider switched systems on Banach and Hilbert spaces governed by strongly continuous one-parameter semigroups of linear evolution operators. We provide necessary and...
Falk M. Hante, Mario Sigalotti
CLUSTER
2006
IEEE
15 years 10 months ago
Improving the Performance of Cluster Applications through I/O Proxy Architecture
Clusters are the most common solutions for high performance computing at the present time. In this kind of systems, an important challenge is the I/O subsystem design. Typically, ...
Luis Miguel Sánchez, Florin Isaila, Alejand...
QUATIC
2007
IEEE
15 years 10 months ago
A Vision for International Standardization in Software and Systems Engineering
The importance of standards in enabling the development of industry and commerce through the standardization of components, interfaces and specifications is well known and underst...
François Coallier
SAC
2008
ACM
15 years 3 months ago
A pull-based e-mail architecture
Conventional e-mail systems are prone to problems that impact their scalability and dependability. E-mail systems operate following a "push-based" approach: the sender s...
Edson Kageyama, Carlos Maziero, Altair Olivo Santi...