4290 search results - page 288 / 858 » Formal Approaches to Teamwork |
191
click to vote
MEMOCODE
2007
IEEE
16 years 1 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
176
click to vote
AUSAI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Temporal expressions—references to points in time or periods of time—are widespread in text, and their proper interpretation is essential for any natural language pro...
220
click to vote
IFM
2007
Springer
16 years 29 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
250
click to vote
CVPR
2008
IEEE
16 years 18 days ago
2008
IEEE
While there is a large class
of Multiple-Target Tracking (MTT) problems for which batch
processing is possible and desirable, batch MTT remains relatively
unexplored in comparis...
187
click to vote
HICSS
2005
IEEE
16 years 13 days ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...