Sciweavers

1107 search results - page 159 / 222
» XAIRA : software for language analysis
Sort
View
SOCO
2005
Springer
14 years 2 months ago
A Model of Components with Non-regular Protocols
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
Mario Südholt
ISSS
2002
IEEE
138views Hardware» more  ISSS 2002»
14 years 1 months ago
An Object-Oriented Design Process for System-on-Chip Using UML
The object-oriented design process has been a hot topic in software development since it will improve product quality and productivity significantly, which is also a major issue i...
Tsuneo Nakata, Akio Matsuda, Minoru Shoji, Shinya ...
COLING
2010
13 years 4 months ago
Detection of Simple Plagiarism in Computer Science Papers
Plagiarism is the use of the language and thoughts of another work and the representation of them as one's own original work. Various levels of plagiarism exist in many domai...
Yaakov HaCohen-Kerner, Aharon Tayeb, Natan Ben-Dro...
ADAEUROPE
2008
Springer
13 years 11 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs
GG
2004
Springer
14 years 2 months ago
Workshop on Graph-Based Tools
Graphs are well-known, well-understood, and frequently used means to depict networks of related items. They are successfully used as the underlying mathematical concept in various ...
Tom Mens, Andy Schürr, Gabriele Taentzer