1615 search results - page 57 / 323 » What's new |
FMAM
2010
13 years 7 months ago
2010
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
JOLLI
2011
13 years 16 days ago
2011
This paper presents a new take on how argument dependencies in natural language are established and constrained. The paper starts with a rather standard view that (quantificationa...
VLSID
1999
IEEE
14 years 1 months ago
1999
IEEE
Interconnect tuning and repeater insertion are necessary to optimize interconnectdelay, signalperformanceandintegrity, andinterconnectmanufacturability and reliability. Repeater i...
PERCOM
2005
ACM
14 years 9 months ago
2005
ACM
There is a huge effort in ongoing research on new middleware platforms and new distributed services to support ubiquitous environments and pervasive applications. Most research pr...
JCM
2008
13 years 9 months ago
2008
Publicly verifiable secret sharing (PVSS) allows not only shareholders themselves but also everyone verify the shares of a secret distributed by a dealer. It has a lot of electroni...