860 search results - page 56 / 172 » A Process Algebra Based Verification of a Production System |
ICASSP
2011
IEEE
13 years 22 days ago
2011
IEEE
This article presents an attempt to link the uploaders of videos based on the audio track of the videos. Using a subset of the MediaEval [10] Placing Task’s Flickr video set, wh...
CLEIEJ
2004
13 years 8 months ago
2004
ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Testing can be difficult to integrate into software development. Approaches to software testing in relation to implementing software are based on the V-model of testing. The softw...
ERLANG
2008
ACM
13 years 10 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
JIRS
1998
13 years 8 months ago
1998
In this paper, we advocate the use of reactive robots in industrial process control and production management. It is explained why reactive robots are well-suited to modern industr...