Sciweavers

5981 search results - page 370 / 1197
» time 2006
Sort
View
IJWBC
2006
111views more  IJWBC 2006»
15 years 6 months ago
Creativity techniques meet the web
Creativity techniques such as Brainstorming are successfully used in face-to-face meetings for some time to promote creativity and innovation. In this paper, we present an approac...
Wolfgang Woerndl, Daniela Eicker, Patrick Gruban
IJWIN
2006
209views more  IJWIN 2006»
15 years 6 months ago
On Connected Multiple Point Coverage in Wireless Sensor Networks
Abstract-- We consider a wireless sensor network consisting of a set of sensors deployed randomly. A point in the monitored area is covered if it is within the sensing range of a s...
Shuhui Yang, Fei Dai, Mihaela Cardei, Jie Wu, Floy...
INFORMATICALT
2006
115views more  INFORMATICALT 2006»
15 years 6 months ago
Sequent Calculi for Temporal Logics of Common Knowledge and Belief
In this paper we consider two logics: temporal logic of common knowledge and temporal logic of common belief. These logics involve the discrete time linear temporal logic operators...
Jurate Sakalauskaite
INFSOF
2006
151views more  INFSOF 2006»
15 years 6 months ago
Prioritized interaction testing for pair-wise coverage with seeding and constraints
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
Renée C. Bryce, Charles J. Colbourn
INTEGRATION
2006
102views more  INTEGRATION 2006»
15 years 6 months ago
A parameterized graph-based framework for high-level test synthesis
Improving testability during the early stages of high-level synthesis has several benefits including reduced test hardware overheads, reduced test costs, reduced design iterations...
Saeed Safari, Amir-Hossein Jahangir, Hadi Esmaeilz...