Sciweavers

1260 search results - page 65 / 252
» OpenJ: An Extensible System Level Design Language
Sort
View
83
Voted
ESCIENCE
2006
IEEE
15 years 3 months ago
FAME: Adding Multi-Level Authentication to Shibboleth
The paper describes the design of FAME (Flexible Access Middleware Extension) architecture aimed at providing multi-level user authentication service for Shibboleth, which is endo...
Aleksandra Nenadic, Ning Zhang, Jay Chin, Carole A...
FDL
2008
IEEE
14 years 11 months ago
Scenario-based Validation of Embedded Systems
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
DLS
2007
150views Languages» more  DLS 2007»
15 years 1 months ago
RPython: a step towards reconciling dynamically and statically typed OO languages
Although the C-based interpreter of Python is reasonably fast, implementations on the CLI or the JVM platforms offers some advantages in terms of robustness and interoperability. ...
Davide Ancona, Massimo Ancona, Antonio Cuni, Nicho...
CIDR
2009
98views Algorithms» more  CIDR 2009»
14 years 11 months ago
From Declarative Languages to Declarative Processing in Computer Games
Recent work has shown that we can dramatically improve the performance of computer games and simulations through declarative processing: Character AI can be written in an imperati...
Ben Sowell, Alan J. Demers, Johannes Gehrke, Nitin...
ICHIM
2001
116views more  ICHIM 2001»
14 years 11 months ago
MauroTeX - A Language for Electronic Critical Editions
MauroTeX, an extension of the wellknown LaTeX typesetting system, is a language designed in order to completely describe philological critical editions of ancient mathematical and...
Paolo Mascellani, Pier Daniele Napoletani