Sciweavers

488 search results - page 43 / 98
» The descriptive complexity approach to LOGCFL
Sort
View
165
Voted
ARTS
1999
Springer
15 years 10 months ago
Specifying Performance Measures for PEPA
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
Graham Clark, Stephen Gilmore, Jane Hillston
FASE
2000
Springer
15 years 9 months ago
From Play-In Scenarios to Code: An Achievable Dream
g higher levels of abstraction with automated downward transformations has always been the way to go, as long as the engineers who do the actual work are th the abstractions. A dev...
David Harel
IFIP
2000
Springer
15 years 9 months ago
Component Technology for High-Performance Scientific Simulation Software
We are developing scientific software component technology to manage the complexity of modern, parallel simulation software and increase the interoperability and re-use of scientif...
Thomas Epperly, Scott R. Kohn, Gary Kumfert
BIRTHDAY
1991
Springer
15 years 9 months ago
User Interface Development: Problems and Experiences
: In this paper, we present a software engineer's view of user-interface development. First, we illustrate the main problem areas responsible for difficulties in building high...
Hans-Werner Six, Josef Voss
SEC
2000
15 years 7 months ago
Improving Packet Filters Management through Automatic and Dynamic Schemes
: The development of complex access control architectures raises the problem of their management. In this article, we describe an architecture providing packet filters configuratio...
Olivier Paul, Maryline Laurent