Sciweavers

8492 search results - page 324 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
167
Voted
FM
2008
Springer
127views Formal Methods» more  FM 2008»
15 years 7 months ago
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
Olivier Ponsini, Wendelin Serwe
168
Voted
IFIP
2010
Springer
15 years 1 months ago
Scenario-Based Modeling in Industrial Information Systems
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
Ricardo Jorge Machado, João M. Fernandes, J...
ICRA
2008
IEEE
210views Robotics» more  ICRA 2008»
16 years 17 days ago
Toward designing a robot that learns actions from parental demonstrations
— How to teach actions to a robot as well as how a robot learns actions is an important issue to be discussed in designing robot learning systems. Inspired by human parentinfant ...
Yukie Nagai, Claudia Muhl, Katharina J. Rohlfing
IRI
2008
IEEE
16 years 16 days ago
Development of an evaluation model for Question Answering Systems
Question Answering Systems (QAS) are receiving increasing attention from information systems researchers, particularly those in the information retrieval and natural language proc...
Chorng-Shyong Ong, Min-Yuh Day, Wen-Lian Hsu
171
Voted
ICWE
2011
Springer
14 years 9 months ago
Formal Modeling of RESTful Systems Using Finite-State Machines
Representational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the World Wide Web (WWW) and is the foundation f...
Ivan Zuzak, Ivan Budiselic, Goran Delac