Sciweavers

2806 search results - page 388 / 562
» BML and Related Tools
Sort
View
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
15 years 12 months ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
EUROMICRO
2003
IEEE
15 years 12 months ago
Closing the Gap: From Nescience to Knowledge Management
Knowledge management (KM) systems aim at supporting knowledge workers in general and software engineers in particular. These tools help to elicit, structure, and retrieve knowledg...
Alexander Schatten, Stefan Biffl, A. Min Tjoa
HICSS
2003
IEEE
93views Biometrics» more  HICSS 2003»
15 years 12 months ago
IT Businesses and Franchising: A Research Proposal
Franchising has been popular as a growth strategy for small businesses; it is even more so in today’s global and information-based economy. In early 2001, Entrepreneur magazine...
Ye-Sho Chen, Chitu Okoli, P. Pete Chong
HICSS
2003
IEEE
116views Biometrics» more  HICSS 2003»
15 years 12 months ago
XML Based Robust Client-Server Communication for a Distributed Telecommunication Management System
Our Distributed Telecommunication Management System (DTMS) uses an object-oriented model to describe the networked Voice Communication System (VCS) to be managed. In order to allo...
Karl M. Göschka, Helmut Reis, Robert Smeikal
HICSS
2003
IEEE
155views Biometrics» more  HICSS 2003»
15 years 12 months ago
Developing Analytic, Cognitive and Linguistic Skills with an Electronic Negotiation System
An increasing number of Web-based systems, including brainstorming, decision-making, and negotiation support systems, are being developed to aid users in solving particular types ...
Margaret J. Kersten, Marlene Haley, Gregory E. Ker...