2977 search results - page 312 / 596 » Programming Environments for Novices |
140
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
We show that the downward-closure of a Petri net language is effectively computable. This is mainly done by using the notions defined for showing decidability of the reachability...
154
click to vote
CAISE
2001
Springer
15 years 11 months ago
2001
Springer
Information System Engineering has become under increasing pressure to come up with software solutions that endow systems with the agility that is required to evolve in a continual...
191
click to vote
CSEE
2001
Springer
15 years 11 months ago
2001
Springer
Process in software engineering is a growing concern for many software development organizations. The need for well-educated software engineers is bringing new software engineerin...
168
click to vote
PPDP
2001
Springer
15 years 10 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
161
click to vote
UM
2001
Springer
15 years 10 months ago
2001
Springer
This paper explores how user modelling can work as an aid for human assistants in a user support system for web sites. Information about the user can facilitate for the assistant t...