Sciweavers

1088 search results - page 123 / 218
» Tools for support of automata-based programming
Sort
View
WEBNET
2000
15 years 5 months ago
Electronic Portfolios in Assessment of Preservice Teachers
: Portfolios are valuable authentic assessment tools in preservice teacher education programs, as they allow for student demonstration of performance, interconnected tasks, respons...
Scott Walker
TII
2010
155views Education» more  TII 2010»
14 years 11 months ago
Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard
-This paper deals with refactoring of execution control charts of IEC 61499 basic function blocks as a means to improve the engineering support potential of the standard in develop...
Valeriy Vyatkin, Victor Dubinin
WWW
2003
ACM
16 years 5 months ago
TSpaces Services Suite: Automating the Development and Management of Web Services
Web services allow authorized entities (including individuals, corporations, and automated agents) to employ software components created by other parties scattered across the glob...
Marcus Fontoura, Tobin J. Lehman, Dwayne Nelson, T...
ICFP
2002
ACM
16 years 4 months ago
Composing monads using coproducts
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
Christoph Lüth, Neil Ghani
CP
2000
Springer
15 years 8 months ago
Practical Investigation of Constraints with Graph Views
Combinatorial problems can be efficiently tackled with constraint programming systems. The main tasks of the development of a constraint-based application are modeling the proble...
Tobias Müller