3879 search results - page 371 / 776 » PyPBS design and methodologies |
144
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
— We propose a methodology for Boolean matching under permutations of inputs and outputs (PP-equivalence checking problem) — a key step in incremental logic design that identif...
173
click to vote
DSD
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, the methodology for automated design of checker for communication protocol testing is presented. Based on the level of checking, different design strategies can be ...
185
click to vote
ISMAR
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents first results of an interaction design study performed for a novel handheld interaction system. Human factors of mid-size, self-containing wearable computer sy...
153
click to vote
ITRUST
2005
Springer
16 years 9 days ago
2005
Springer
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...
153
click to vote
RISE
2005
Springer
16 years 8 days ago
2005
Springer
Design by ContractTM is commonly cited as an example of the “crosscutting” concerns that aspect-oriented programming can address. We test this conjecture by attempting to imple...