Sciweavers

3056 search results - page 69 / 612
» Open Implementation Analysis and Design
Sort
View
124
Voted
EUROSYS
2007
ACM
16 years 16 days ago
Sealing OS processes to improve dependability and safety
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
Galen C. Hunt, Mark Aiken, Manuel Fähndrich, ...
LCPC
2004
Springer
15 years 8 months ago
A Practical MHP Information Analysis for Concurrent Java Programs
Abstract. In this paper we present an implementation of May Happen in Parallel analysis for Java that attempts to address some of the practical implementation concerns of the origi...
Lin Li, Clark Verbrugge
MKM
2009
Springer
15 years 10 months ago
OpenMath in SCIEnce: SCSCP and POPCORN
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...
Peter Horn, Dan Roozemond
ENTCS
2006
153views more  ENTCS 2006»
15 years 3 months ago
Multi-Agent System Development Based on Organizations
Organizational models have been recently used in agent theory for modeling coordination in open systems and to ensure social order in multi-agent system applications. In this pape...
Estefania Argente, Vicente Julián, Vicente ...
ECOOP
2005
Springer
15 years 9 months ago
Attached Types and Their Application to Three Open Problems of Object-Oriented Programming
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...
Bertrand Meyer