Sciweavers

927 search results - page 66 / 186
» Detection of Simple Plagiarism in Computer Science Papers
Sort
View
ACSC
2004
IEEE
15 years 8 months ago
Formalization of UML Statechart Models Using Concurrent Regular Expressions
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
S. Jansamak, A. Surarerks
ACSC
2004
IEEE
15 years 8 months ago
An Approach to Specifying Software Frameworks
A framework is a reusable design that requires software components to function. To instantiate a framework, a software engineer must provide the software components required by th...
Leesa Murray, David A. Carrington, Paul A. Stroope...
ACMSE
2008
ACM
15 years 6 months ago
Mining frequent sequential patterns with first-occurrence forests
In this paper, a new pattern-growth algorithm is presented to mine frequent sequential patterns using First-Occurrence Forests (FOF). This algorithm uses a simple list of pointers...
Erich Allen Peterson, Peiyi Tang
CAD
2004
Springer
15 years 4 months ago
Parametric representation of a surface pencil with a common spatial geodesic
In this paper, we study the problem of constructing a family of surfaces from a given spatial geodesic curve. We derive a parametric representation for a surface pencil whose memb...
Guo-Jin Wang, Kai Tang, Chiew-Lan Tai
SPIN
2010
Springer
15 years 2 months ago
Nevertrace Claims for Model Checking
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
Zhe Chen, Gilles Motet