Sciweavers

4386 search results - page 232 / 878
» A Tamper-Resistant Programming Language System
Sort
View
TOOLS
2009
IEEE
15 years 8 months ago
PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
Camillo Bruni, Toon Verwaest
POPL
2000
ACM
15 years 6 months ago
A Type System for Dynamic Web Documents
Many interactive Web services use the CGI interface for communication with clients. They will dynamically create HTML documents that are presented to the client who then resumes t...
Anders Sandholm, Michael I. Schwartzbach
ICCS
2004
Springer
15 years 7 months ago
Multiparadigm Model Oriented to Development of Grid Systems
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
Jorge L. V. Barbosa, Cristiano André da Cos...
ICALP
2000
Springer
15 years 5 months ago
On Message Sequence Graphs and Finitely Generated Regular MSC Languages
Message Sequence Charts (MSCs) are an attractive visual formalism widely used to capture system requirements during the early design stages in domains such as telecommunication sof...
Jesper G. Henriksen, Madhavan Mukund, K. Narayan K...
IS
2007
15 years 1 months ago
A configurable reference modelling language
Enterprise Systems (ES) are comprehensive off-the-shelf packages that have to be configured to suit the requirements of an organization. Most ES solutions provide reference models...
Michael Rosemann, Wil M. P. van der Aalst