Sciweavers

3316 search results - page 375 / 664
» Mining Software Engineering Data
Sort
View
OOPSLA
2007
Springer
15 years 9 months ago
No ifs, ands, or buts: uncovering the simplicity of conditionals
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
Jonathan Edwards
TMRA
2007
Springer
15 years 9 months ago
Topincs Wiki - A Topic Maps Powered Wiki
Abstract. Topincs provides a RESTful web service interface for retrieval and manipulation of topic maps. A Topincs Server implementing the interface can host many stores, which are...
Robert Cerny
VMCAI
2007
Springer
15 years 9 months ago
Invariant Synthesis for Combined Theories
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, A...
ASWEC
2006
IEEE
15 years 9 months ago
Formally Analysing a Security Protocol for Replay Attacks
The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...
Benjamin W. Long, Colin J. Fidge
AUIC
2006
IEEE
15 years 9 months ago
An interface test-bed for 'Kansei' filters using the touch designer visual programming environment
In the context of a larger project dealing with kansei analysis of movement, we present a basic method for applying real-time filters to human motion capture data in order to modi...
Rodney Berry, Masahide Naemura, Yuichi Kobayashi, ...