10038 search results - page 1727 / 2008 » Model Checking for Managers |
202
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
Advances of sensor and RFID technology provide significant new power for humans to sense, understand and manage the world. RFID provides fast data collection with precise identific...
172
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Reusable components equipped with strict guarantees of quality can help reestablish software development on a stronger footing, by taking advantage of the scaling effect of reuse ...
161
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
As development on a software project progresses, developers shift their focus between different topics and tasks many times. Managers and newcomer developers often seek ways of un...
196
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
RDF is a data model for representing labeled directed graphs, and it is used as an important building block of semantic web. Due to its flexibility and applicability, RDF has bee...
138
click to vote
ECTEL
2009
Springer
16 years 1 months ago
2009
Springer
The orchestration process consists of managing classroom interactions at multiple levels: individual activities, teamwork and class-wide sessions. We study the process of orchestra...