3879 search results - page 291 / 776 » PyPBS design and methodologies |
168
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Being able to determine the provenience of statements is a fundamental step in any SW trust modeling. We propose a methodology that allows signing of small groups of RDF statement...
177
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Software energy estimation is a critical step in the design of energyefficient embedded systems. Instruction-level simulation techniques, despite several advances, remain too slo...
159
click to vote
ECIS
2001
15 years 8 months ago
2001
The paper deals with the development of the informational since the IFIP '71 Congress in Ljubljana when the new consciousness evolved to the necessity of nowadays information...
162
click to vote
TMC
2011
15 years 1 months ago
2011
— In large-scale fingerprinting localization systems, fine-grained location estimation and quick location determination are conflicting concerns. To achieve finer-grained loc...
200
click to vote
TPHOL
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...