10042 search results - page 1879 / 2009 » Interactive Topic Modeling |
148
Voted
FORMATS
2010
Springer
15 years 16 days ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
129
Voted
GAMESEC
2010
15 years 16 days ago
2010
Abstract. Users of mobile networks can change their identifiers in regions called mix zones in order to defeat the attempt of third parties to track their location. Mix zones must ...
144
Voted
IAT
2010
IEEE
15 years 15 days ago
2010
IEEE
When its human operator cannot continuously supervise (much less teleoperate) an agent, the agent should be able to recognize its limitations and ask for help when it risks making...
156
click to vote
ICSE
2010
IEEE-ACM
15 years 14 days ago
2010
IEEE-ACM
In a multi-developer project, team collaboration is essential for the success of the project. When team members are spread across different locations, informal interactions are lo...
107
click to vote
SIGSOFT
2010
ACM
15 years 12 days ago
2010
ACM
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead...