Sciweavers

32607 search results - page 227 / 6522
» Supporting the supporters
Sort
View
FLAIRS
2000
15 years 8 months ago
Formal Software Development in the Verification Support Environment (VSE)
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
Dieter Hutter, Georg Rock, Jörg H. Siekmann, ...
PAKM
2000
15 years 8 months ago
Providing Informational Support for Argumentation: The ISA Project
This paper briefly presents the ISA project that addresses the issue of how argumentation processes can be supported by providing textual information from document databases. The ...
Fahri Yetim
GI
2008
Springer
15 years 8 months ago
Explicit Language and Infrastructure Support for Context-aware Services
: Dealing with context information is an important concern for mobile service computing. However, modern frameworks and programming languages do not directly support context-depend...
Malte Appeltauer, Robert Hirschfeld
INTR
2006
102views more  INTR 2006»
15 years 7 months ago
An electronic voting system supporting vote weights
Abstract. Typically each voter contributes with one vote for an election. But there are some elections where voters can have different weights associated with their vote. In this p...
Charlott Eliasson, André Zúquete
JUCS
2008
166views more  JUCS 2008»
15 years 7 months ago
Exposure and Support of Latent Social Networks among Learning Object Repository Users
Abstract: Although immense efforts have been invested in the construction of hundreds of learning object repositories, the degree of reuse of learning resources maintained in such ...
Peng Han, Gerd Kortemeyer, Bernd J. Krämer, C...