4460 search results - page 755 / 892 » Formal methods for interactive systems |
135
Voted
APSEC
2006
IEEE
15 years 5 months ago
2006
IEEE
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
156
click to vote
COLING
2008
15 years 5 months ago
2008
Previous methods usually conduct the keyphrase extraction task for single documents separately without interactions for each document, under the assumption that the documents are ...
152
Voted
MASCOTS
2001
15 years 5 months ago
2001
A network emulator, such as the Internet Protocol Traffic and Network Emulator (IP-TNE), enables real applications running on external hosts to interact via a virtual network mode...
139
Voted
PDCN
2004
15 years 5 months ago
2004
A new age of heterogeneous resource integration has begun. Next generation of integration systems will utilize different methods and techniques to achieve the vision of ubiquitous...
104
Voted
WSCG
2001
15 years 5 months ago
2001
Digital Teletext is one of the most important interactive services of emerging digital television. As an enhanced version of existing analogue Teletext service, it's a reside...