Sciweavers

1312 search results - page 172 / 263
» A Software Process Scheduling Simulator
Sort
View
110
Voted
DCW
2000
Springer
15 years 7 months ago
An Evaluation of Formalisms for Negotiations in E-commerce
The diversity of negotiation types in e-commerce calls for a clear description of the rules that govern them. The participant has to know the rules before engaging in a negotiation...
Morad Benyoucef, Rudolf K. Keller
119
Voted
DAC
1999
ACM
15 years 7 months ago
Verification and Management of a Multimillion-Gate Embedded Core Design
Verification is one of the most critical and time-consuming tasks in today's design processes. This paper demonstrates the verification process of a 8.8 million gate design u...
Johann Notbauer, Thomas W. Albrecht, Georg Niedris...
140
Voted
SCESM
2006
ACM
262views Algorithms» more  SCESM 2006»
15 years 8 months ago
Scenario-driven modeling and validation of requirements models
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
Christian Seybold, Silvio Meier, Martin Glinz
104
Voted
IJES
2006
110views more  IJES 2006»
15 years 2 months ago
Partitioning bin-packing algorithms for distributed real-time systems
Embedded real-time systems must satisfy not only logical functional requirements but also para-functional properties such as timeliness, Quality of Service (QoS) and reliability. W...
Dionisio de Niz, Raj Rajkumar
113
Voted
APSEC
2000
IEEE
15 years 7 months ago
Component-based application development on architecture of a model, UI and components
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as a formula of “a doma...
Takeshi Chusho, Hisashi Ishigure, Naoyuki Konda, T...