Sciweavers

10916 search results - page 335 / 2184
» On Constructive Connectives and Systems
Sort
View
WOSP
2004
ACM
16 years 8 days ago
Computing the performability of layered distributed systems with a management architecture
This paper analyzes the performability of client-server applications that use a separate fault management architecture for monitoring and controlling of the status of the applicat...
Olivia Das, C. Murray Woodside
ICRA
2002
IEEE
114views Robotics» more  ICRA 2002»
15 years 11 months ago
On Mechanical Control Systems with Nonholonomic Constraints and Symmetries
This paper presents a computationally efficient method for deriving coordinate representations for the equations of motion and the affine connection describing a class of Lagrangi...
Francesco Bullo, Milos Zefran
ECTEL
2006
Springer
15 years 10 months ago
Personal Learning Environments: Challenging the Dominant Design of Educational Systems
Current systems used in education follow a consistent design pattern, one that is not supportive of lifelong learning or personalization, is asymmetric in terms of user capability,...
Scott Wilson, Oleg Liber, Mark Johnson, Phillip Be...
FC
2008
Springer
102views Cryptology» more  FC 2008»
15 years 8 months ago
Identity Theft: Much Too Easy? A Study of Online Systems in Norway
Governments and commercial companies connect more and more computer systems to the Internet, giving people easier access to services. Many of these online services handle personal ...
André N. Klingsheim, Kjell Jørgen Ho...
EACL
2006
ACL Anthology
15 years 8 months ago
A Web-based Demonstrator of a Multi-lingual Phrase-based Translation System
This paper describes a multi-lingual phrase-based Statistical Machine Translation system accessible by means of a Web page. The user can issue translation requests from Arabic, Ch...
Roldano Cattoni, Nicola Bertoldi, Mauro Cettolo, B...