Sciweavers

929 search results - page 128 / 186
» Computer assistance for model definition
Sort
View
POPL
2006
ACM
15 years 10 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
ICPR
2008
IEEE
15 years 11 months ago
Evolving boundary detectors for natural images via Genetic Programming
Boundary detection constitutes a crucial step in many computer vision tasks. We present a novel learning approach to automatically construct a boundary detector for natural images...
Ilan Kadar, Moshe Sipper, Ohad Ben-Shahar
ISCAPDCS
2007
14 years 11 months ago
An autonomic element design for a distributed object system
Current research in autonomic computing suffers from the lack of a common definition of the basic autonomic entities. Defining and developing the basic autonomic entities and maki...
M. Muztaba Fuad, Debzani Deb, Michael J. Oudshoorn
PERCOM
2006
ACM
15 years 4 months ago
Groupanizer: a Method to Correlate Multi-users Position with Daily Moments
Groupanizer is an extension of groupware and constitutes a development platform to integrate user-centric information for the benefit of groupware applications. User-centric conte...
Jean Olivier Caron, Yoshihiro Kawahara, Hiroyuki M...
PTS
2003
136views Hardware» more  PTS 2003»
14 years 11 months ago
The UML 2.0 Testing Profile and Its Relation to TTCN-3
UML models focus primarily on the definition of system structure and behaviour, but provide only limited means for describing test objectives and test procedures. However, with the...
Ina Schieferdecker, Zhen Ru Dai, Jens Grabowski, A...