1833 search results - page 166 / 367 » Mechanized Verification with Sharing |
187
click to vote
CAMP
2005
IEEE
16 years 3 days ago
2005
IEEE
— For a peer-to-peer (P2P) system holding massive amount of data, an efficient and scalable search for resource sharing is a key determinant to its practical usage. Unstructured...
167
click to vote
WORDS
2005
IEEE
16 years 1 days ago
2005
IEEE
In emerging e-commerce applications, time constrained information sharing between different systems is becoming a common phenomenon. A flexible and efficient mechanism is needed t...
149
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Recently, new versions of the TCP protocols such as HSTCP (High Speed TCP) has proposed to adopt the rapid growth of the Internet. However, it is important to consider a deployment...
178
click to vote
PROLAMAT
1998
15 years 7 months ago
1998
Since design is a process in which designers use various kinds of knowledge and it is an open-ended problem, it is difficult to prepare all necessary knowledge before design. Also...
160
click to vote
CL
2008
Springer
15 years 6 months ago
2008
Springer
Component-orientedprogramming(COP)isactuallyakeyresearchtrackinsoftwareengineering.Avarietyofcomponent-oriented s (COLs) have been proposed with new or adapted abstractions and me...