Sciweavers

7124 search results - page 1128 / 1425
» Programming Languages and Operating Systems
Sort
View
ICSE
1998
IEEE-ACM
15 years 8 months ago
Consistency Management for Complex Applications
Consistency management is an important requirement in many complex applications, but current programming languages and database systems provide inadequate support for it. To addre...
Peri L. Tarr, Lori A. Clarke
PNPM
1989
15 years 8 months ago
SPNP: Stochastic Petri Net Package
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdepe...
Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Tr...
IAAI
2003
15 years 5 months ago
CriterionSM Online Essay Evaluation: An Application for Automated Evaluation of Student Essays
This paper describes a deployed educational technology application: the CriterionSM Online Essay Evaluation Service, a web-based system that provides automated scoring and evaluat...
Jill Burstein, Martin Chodorow, Claudia Leacock
ENTCS
2010
165views more  ENTCS 2010»
15 years 4 months ago
Correct Execution of Reconfiguration for Stateful Components
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
Moritz Hammer, Alexander Knapp
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
15 years 2 months ago
Safe Commits for Transactional Featherweight Java
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
Thi Mai Thuong Tran, Martin Steffen
« Prev « First page 1128 / 1425 Last » Next »